provable相关论文
Hybrid signcryption is an important technique signcrypting bulk data using symmetric encryption. In this paper, we apply......
Identity-based (ID-based) ring signature has drawn great concerns in recent years and many ID-based ring signature schem......
签密能够在一个合理的逻辑步骤内同时完成数字签名和加密两项功能。与实现信息保密性和认证性的先签名后加密方案相比,签密具有较......
现有的基于口令的群密钥交换协议大都借助分组密码算法和Hash函数确保协议的安全性.本文仅借助Hash函数,构造了一种高效、可证明安......
本文提出泛逻辑学在理想状态(广义相关系数h=0．5．广义自相关系数k=0．5)下的形式演绎系统B。讨论了商代数[F]的性质。进一步证明了形式......
聚集签名能够将多个用户对多个信息的签名进行聚集，缩短签名长度，可以应用于电子合同签章、边界网关协议等领域。提出了一种基于证书......
设计高效安全的群组证明协议有利于RFID(Radio Frequency Identification)系统的广泛应用.本文提出了一种轻量级隐私保护的RFID群......
如何构造安全的密钥协商协议是信息安全领域富有挑战性的问题之一．然而目前多数安全协议只能达到“启发式”安全，协议的安全性假设和......
哥德尔不完全性定理越来越受到人们的垂青和重视,但有些却是错解,需要予以澄清.哥德尔不完全性定理是整个逻辑学的中心,对其他许多......
